Managing Competence and Certifying Persons Responsible for Functional Safety
نویسندگان
چکیده
منابع مشابه
Certifying Measurement Unit Safety Policy
Measurement unit safety policy checking is a topic in software analysis concerned with ensuring that programs do not violate basic principles of units of measurement. Such violations can hide significant domain-specific errors which are hard or impossible to find otherwise. Measurement unit analysis by means of automatic deduction is addressed in this paper. We draw general design principles fo...
متن کاملMeasuring functional competence in older persons with Alzheimer's disease.
Despite their limitations, mental status tests and self/proxy reports of instrumental activities of daily living (IADL) are often used to predict functional competence. In contrast, the Assessment of Motor and Process Skills (AMPS) is a direct observational assessment of IADL competence. Sixty-four community-dwelling elderly (20 Alzheimer's disease [AD] patients and 44 nondemented) were assesse...
متن کاملCertifying Safety and Termination Proofs for Integer Transition Systems
Modern program analyzers translate imperative programs to an intermediate formal language like integer transition systems (ITSs), and then analyze properties of ITSs. Because of the high complexity of the task, a number of incorrect proofs are revealed annually in the Software Verification Competitions. In this paper, we establish the trustworthiness of termination and safety proofs for ITSs. T...
متن کاملA Safety-Case Approach For Certifying Adaptive Systems
Arguments and SMT Solvers • Can express a lot, very abstractly, in terms of uninterpreted types and functions, with assumptions expressed as axioms • SMT solvers are fully automated software tools for the problem of checking Satisfiability Modulo Theories • One of the theories is equality and uninterpreted functions • Annual competitions keep SMT Solvers hot: can solve problems with thousands o...
متن کاملCertifying and reasoning about cost annotations of functional programs
We present a so-called labelling method to insert cost annotations in a higher-orderfunctional program, to certify their correctness with respect to a standard, typable com-pilation chain to assembly code including safe memory management, and to reason aboutthem in a higher-order Hoare logic.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Konbin
سال: 2010
ISSN: 2083-4608,1895-8281
DOI: 10.2478/v10040-008-0154-z